141. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : abridgement editor, George J. Hademenos.
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Algebra, Abstract,Combinatorial analysis,Logic, Symbolic and mathematical
رده :
QA
162
.
D57
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
142. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : By Seymour Lipschutz
موضوع : Algebra, Abstract-Outlines, Syllabi, etc,Combinatorial analysis-Outlines, syllabi, etc,Logic, Symbolic and mathematical-Outlines, Syllabi, etc
۷ نسخه از این کتاب در ۶ کتابخانه موجود است.
143. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : / Seymour Lipschutz, Marc Lars Lipson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA162
.
L56
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
144. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : / by Seymour Lipschutz
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA162
.
L56
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
145. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : Lipschutz, Seymour
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Outlines, syllabi, etc ، Algebra, Abstract,Outline, syllabi, etc ، Combinatorial analysis,Outlines, syllabi, etc ، Logic, Symbolic and mathematical
رده :
QA
162
.
L54
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
146. Studies in foundations and combinations
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Addresses, essays, lectrures ، Combinatorial analysis,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
164
.
S85
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
147. The Real Number
پدیدآورنده : / by John Stillwell
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
![](/design/images/bookmore.png)
148. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis - Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R668
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
149. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J., 6591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis -- Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R68T4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
150. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : / Richard J. Rossi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory- Textbooks,Mathematical analysis- Foundations- Textbooks,Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
54
.
R668
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
151. Theories of Intensionality
پدیدآورنده : Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Intention )Logic(,Logic, Symbolic and mathematical,Electronic books,Electronic books
رده :
EBOOK
,
BC
.
I5
199
![](/design/images/bookmore.png)
152. Theory and problems of discrete mathematics
پدیدآورنده : Seymour Lipschutz, Marc Lipson
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Algebra, Abstract Outlines, syllabi, etc,، Combinatorial analysis Outlines, syllabi, etc,، Discrete mathematics,، Logic, Symbolic and mathematical Outlines, syllabi, etc
رده :
QA
162
.
L56
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
153. Tracking reason :
پدیدآورنده : / Jody Azzouni
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
![](/design/images/bookmore.png)
154. Wittgenstein's Tractatus
پدیدآورنده : / Matthew B. Ostrow
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languages- Philosophy
رده :
B3376
.
W563
,
T73545
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
155. Wittgenstein's Tractatus
پدیدآورنده : / Matthew B. Ostrow
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languages- Philosophy
رده :
B3376
.
W563
,
T73545
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
156. Wittgenstein's Tractatus
پدیدآورنده : / Matthew B. Ostrow
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languages- Philosophy
رده :
B3376
.
W563
,
T73545
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
158. numeric computation-Symbolic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computable functions ; Data processing ; Congresses. ; Numerical analysis ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
![](/design/images/bookmore.png)